Modelling Exceptionally Hard Constraint Satisfaction Problems
نویسندگان
چکیده
Randomly-generated constraint satisfaction problems go through a phase transition as the constraint tightness varies. Loose constraints give an `easy-soluble' region, where problems have many solutions and are almost always easy to solve. However, in this region, systematic search algorithms may occasionally encounter problems which are extremely expensive to solve. It has been suggested that in these cases, the rst few instantiations made by the algorithm create an insoluble subproblem; an exhaustive search of the subproblem to prove its insolubility accounts for the high cost. We propose a model for the occurrence of such subproblems when using the backtracking algorithm. We calculate the probability of their occurrence and estimate their cost. From this, we derive the theoretical cost distribution when the constraint graph is complete and show that it matches the observed cost distribution in this region. We suggest that a similar model would also account for the exceptionally hard problems that have been observed using more sophisticated algorithms.
منابع مشابه
Where the Exceptionally Hard Problems Are 1
Constraint satisfaction problems exhibit a phase transition as a problem parameter is varied, from a region where most problems are easy and soluble to a region where most problems are easy but insoluble. In the intervening phase transition region, the median problem diiculty is greatest. However, in the easy and soluble region, occasional exceptionally hard problems (ehps) can be found, which ...
متن کاملSparse Constraint Graphs and Exceptionally Hard Problems
Many types of problem exhibit a phase transition as a problem parameter is varied, from a region where most problems are easy and soluble to a region where most problems are easy but insoluble. In the intervening phase transition region, the median problem di culty is greatest. However, occasional exceptionally hard problems (ehps) can be found in the easy and soluble region: these problems can...
متن کاملUsing CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances
While CNF propositional satisfiability (SAT) is a sub-class of the more general constraint satisfaction problem (CSP), conventional wisdom has it that some well-known CSP look-back techniques -including backjumping and learning -are of little use for SAT. We enhance the Tableau SAT algorithm of Crawford and Auton with look-back techniques and evaluate its performance on problems specifically de...
متن کاملAdaptive Constraint Satisfaction: The Quickest First Principle
The choice of a particular algorithm for solving a given class of constraint satisfaction problems is often confused by exceptional behaviour of algorithms. One method of reducing the impact of this exceptional behaviour is to adopt an adaptive philosophy to constraint satisfaction problem solving. In this paper we describe one such adaptive algorithm based on the principle of chaining and desi...
متن کاملModelling Soft Constraints: A Survey
Constraint programming is an approach for solving (mostly combinatorial) problems by stating constraints over the problem variables. In some problems, there is no solution satisfying all the constraints or the problem formulation must deal with uncertainty, vagueness, or imprecision. In such a case the standard constraint satisfaction techniques dealing with hard constraints cannot be used dire...
متن کامل